#include <stdio.h>

int main(void)
{
    int value = 5 * 100 - 50 - 20 - 10 - 5; 
    printf("%d\n", value / 5 + 5);
    return 0;
}
